Computability logic - PDFSEARCH.IO - Document Search Engine

Computability logic
Results: 552

#	Item
401	Programming with Human Computation by Greg Little B.S., Arizona State University[removed]S.M., Massachusetts Institute of Technology (2007) Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2011-05-31 10:08:40 Mathematics Computability theory Computer science Algorithm Mathematical logic Amazon Mechanical Turk Computation Computer Parallel computing Theoretical computer science Human-based computation Applied mathematics
402	Toward Facilitating Assistance to Students Attempting Engineering Design Problems Elena L. Glassman Ned Gulley Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2013-06-27 16:23:59 British people Turing machine Alan Turing Computability theory Algorithm Mathematical logic Computational complexity theory Genetic algorithm Theoretical computer science Applied mathematics Mathematics
403	i i Mladen Paviˇci´ c: Companion to Quantum Computation and Communication — Add to Reading List Source URL: www.wiley-vch.de Language: English - Date: 2013-03-25 07:54:23 Computability theory Theory of computation Models of computation Mathematical logic Quantum computer Turing machine Boolean algebra Algorithm Hypercomputation Theoretical computer science Mathematics Applied mathematics
404	Toward Facilitating Assistance to Students Attempting Engineering Design Problems Elena L. Glassman Ned Gulley Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2013-06-27 16:23:59 British people Turing machine Alan Turing Computability theory Algorithm Mathematical logic Computational complexity theory Genetic algorithm Theoretical computer science Applied mathematics Mathematics
405	Giorgi Japaridze Curriculum Vitae CONTACT INFORMATION Address: Computing Sciences Department, Villanova University, 800 Lancaster Avenue, Villanova, PA 19085, USA. Email: [removed] Telephone: (1) 61 Add to Reading List Source URL: www.csc.villanova.edu Language: English - Date: 2014-03-25 12:26:15 Non-classical logic Logic in computer science Philosophical logic Proof theory Computability logic Giorgi Japaridze Cointerpretability Weak interpretability George Boolos Logic Mathematical logic Mathematics
406	Objective mathematics in a finite unbounded universe Paul Budnik Mountain Math Software [removed] February 24, 2014 Add to Reading List Source URL: mtnmath.com Language: English - Date: 2014-02-24 17:59:08 Computability theory Proof theory Theory of computation Cardinal numbers Ordinal notation Limit ordinal Recursively enumerable set Recursive ordinal Large countable ordinal Mathematical logic Mathematics Ordinal numbers
407	Incompleteness versus a Platonic multiverse Paul Budnik Mountain Math Software [removed] c 2013 Mountain Math Software Add to Reading List Source URL: mtnmath.com Language: English - Date: 2013-06-12 13:25:59 Ordinal numbers Computability theory Proof theory Theory of computation Ordinal notation Recursively enumerable set Reverse mathematics Enumeration Continuum hypothesis Mathematical logic Mathematics Logic
408	STRANGE LOOPS IN CFML, A LIVECODER’S RIDDLE Adam M. Smith Santa Cruz, CA, USA [removed] ABSTRACT The practice of livecoding borrows heavily from the techniques and vocabulary of music and computer programming. Add to Reading List Source URL: adamsmith.as Language: English - Date: 2013-03-17 01:17:52 Theoretical computer science Programming idioms Mathematical logic ColdFusion Markup Language Computability theory Recursion Algorithm Comps Subroutine Computer programming Computing Software engineering
409	Lambda Calculus Diogo Sousa Universidade Nova de Lisboa Faculdade de Ciˆ encias e Tecnologia Add to Reading List Source URL: orium.pw Language: English - Date: 2012-01-27 11:22:13 Applied mathematics Computability theory Combinatory logic Calculus De Bruijn index Simply typed lambda calculus Lambda calculus Theoretical computer science Mathematics
410	Dependent Type Theory of Stateful Higher-Order Functions Aleksandar Nanevski and Greg Morrisett Harvard University {aleks\|greg}@eecs.harvard.edu Abstract Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Program logic Predicate logic Formal methods Logic in computer science Computability theory Hoare logic Lambda calculus First-order logic Separation logic Mathematical logic Mathematics Logic

UPDATE